1. Constraint-based verification
پدیدآورنده: Jun Yuan, Carl Pixley, Adnan Aziz
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Constraints )Artificial intelligence(,Testing ، Digital electronics,Testing ، Electronic systems,Design and construction ، Electronic systems
رده :
QA
340
.
Y92C6
2. Constraint-based verification
پدیدآورنده: Yuan, Jun.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Constraints )Artificial intelligence(,Testing ، Digital electronics,Testing ، Electronic systems,Design and construction ، Electronic systems
رده :
Q
340
.
Y83
